Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
21	Parallel Processing of Large-Scale XML-Based Application Documents on Multi-core Architectures with PiXiMaL Michael R. Head† Madhusudhan Govindaraju‡ Grid Computing Research Laboratory, SUNY Binghamton, NY {† mike, Add to Reading List Source URL: www.cs.binghamton.edu Language: English - Date: 2013-07-27 18:44:25 Finite automata Parallel computing Microprocessors Analysis of parallel algorithms Nondeterministic finite automaton Multi-core processor Thread Regular expression Finite-state machine Speedup Deterministic finite automaton Multiprocessing
22	Declarative Verifiable SDI Specifications Rick McGeer US Ignite ABSTRACT Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:38:43 Theoretical computer science Formal methods Formal verification Software-defined networking Software verification Turing machine Finite-state machine Model checking Temporal logic OpenFlow Computer science Distributed computing
23	Parallel Processing of Large-Scale XML-Based Application Documents on Multi-core Architectures with PiXiMaL Michael R. Head† Madhusudhan Govindaraju‡ Grid Computing Research Laboratory, SUNY Binghamton, NY {† mike, Add to Reading List Source URL: www.cs.binghamton.edu Language: English - Date: 2009-04-08 20:30:31 Finite automata Parallel computing Microprocessors Analysis of parallel algorithms Nondeterministic finite automaton Multi-core processor Thread Regular expression Finite-state machine Speedup Deterministic finite automaton Multiprocessing
24	SYNCHRONISING AUTOMATA AND A ˇ ´ CONJECTURE OF CERN Y Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2008-11-20 04:32:36 Finite automata Synchronizing word Finite-state machine Automata theory Aperiodic finite state automaton
25	Journal of Computer and System Sciences – 363 www.elsevier.com/locate/jcss Designing seeds for similarity search in genomic DNA Jeremy Buhlera,∗ , Uri Keichb , Yanni Suna a Department of Computer Scienc Add to Reading List Source URL: www.maths.usyd.edu.au Language: English - Date: 2005-12-15 13:57:59 Computational phylogenetics Bioinformatics Markov models Sequence alignment BLAST Markov chain Finite-state machine String searching algorithm Dynamic programming Multiple sequence alignment
26	An Ant Colony Verification Algorithm Rachid Rebiha Giovanni L. Ciampaglia Universit`a della Svizzera Italiana, Faculty of Informatics. {rachid.rebiha, ciampagg}@lu.unisi.ch Abstract Add to Reading List Source URL: www.glciampaglia.com Language: English - Date: 2015-11-15 22:04:58 Finite automata Ant colony optimization algorithms Model checking Finite-state machine Artificial ants Ant Bchi automaton
27	Automated Abstraction of Dynamic Neural Systems for Natural Language Processing Henrik Jacobsson, Stefan L. Frank & Diego Federici Abstract— This paper presents a variant of the Crystallizing Substochastic Sequential M Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2012-03-11 05:07:27 Finite automata Artificial neural networks Computational neuroscience Computational statistics Artificial intelligence Recurrent neural network Moore machine Parsing Quantization Finite-state machine
28	Regular Expressions and Finite-State Automata Overview Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-01-06 12:55:41 Formal languages Finite automata Finite-state transducer Regular language Finite-state machine Regular expression Deterministic automaton Alphabet Induction of regular languages Star height
29	Summer 2009 :: COM SCI 181, Sec.1 :: Introduction to Formal Languages and Automata Theory :: Syllabus/Info Class Information Location, day, time: from the Registrar Add to Reading List Source URL: atakangunal.com Language: English* - Date: 2014-10-22 13:26:26 Formal languages Theoretical computer science Theory of computation Computability theory Models of computation Computability Automata theory Introduction to the Theory of Computation Turing machine Super-recursive algorithm Algorithm Finite-state machine
30	Towards Diagrammability and Efficiency in Event Sequence Languages Kathi Fisler Department of Computer Science WPI (Worcester, MA, USA) Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2005-05-29 14:49:51 Finite automata Theoretical computer science Formal languages Infographics Linear temporal logic Temporal logic Finite-state machine Diagram Sequence Formal verification Automata theory Bchi automaton